This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Algorithmic Number Theory Symposium, ANTS 2008, held ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI ...
Lire la suiteThis book constitutes the refereed proceedings of the 2nd International Castle Meeting, ISMCTA 2008. The papers cover network ...
Lire la suiteThis book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of ...
Lire la suiteThis book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Lire la suiteIntended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...
Lire la suiteThe volume presents 12 thoroughly revised tutorial papers based on lectures given by leading researchers at the 12th International ...
Lire la suiteThis book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Lire la suiteThis book constitutes the thoroughly refereed proceedings of the Second International Conference on Pairing-Based Cryptography, ...
Lire la suiteProgramming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative ...
Lire la suiteThe book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
Lire la suiteThe book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lire la suiteThe book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
Lire la suiteThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lire la suiteThe book is organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial ...
Lire la suiteThe tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...
Lire la suiteThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suiteThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suite